Shobha Vasudevan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Development of Locked Nucleic Acid Antisense Oligonucleotides Targeting Ebola Viral Proteins and Host Factor Niemann-Pick C1

Chery, Jessica, Petri, Andreas, Wagschal, Alexandre, Lim, Sun-Young, Cunningham, James, Vasudevan, Shobha, Kauppinen, Sakari, Näär, Anders M.

Journal:

Nucleic Acid Therapeutics (Formerly Oligonucleotides)

Year:

2018

Language:

english

File:

PDF, 779 KB

english, 2018

2

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Code Coverage of Assertions Using RTL Source Code Analysis

Athavale, Viraj, Ma, Sai, Hertz, Samuel, Vasudevan, Shobha

Year:

2014

Language:

english

File:

PDF, 352 KB

english, 2014

3

Assertion Ranking using RTL Source Code Analysis

Pal, Debjit, Offenberger, Spencer, Vasudevan, Shobha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2019

Language:

english

File:

PDF, 867 KB

english, 2019

4

[IEEE 2016 38th Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD) - Garden Grove, CA, USA (2016.9.11-2016.9.16)] 2016 38th Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD) - Application level investigation of system-level ESD-induced soft failures

Vora, Sandeep, Jiang, Rui, Vasudevan, Shobha, Rosenbaum, Elyse

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

5

Sequential equivalence checking between system level and RTL descriptions

Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham, JiaJin Tu

Journal:

Design Automation for Embedded Systems

Year:

2008

Language:

english

File:

PDF, 960 KB

english, 2008

6

Non-stop decay—a new mRNA surveillance pathway

Shobha Vasudevan, Stuart W. Peltz, Carol J. Wilusz

Journal:

Year:

2002

Language:

english

File:

PDF, 90 KB

english, 2002

7

The Yeast hnRNP-like Protein Hrp1/Nab4 Marks a Transcript for Nonsense-Mediated mRNA Decay

Carlos I. González, María J. Ruiz-Echevarría, Shobha Vasudevan, Michael F. Henry, Stuart W. Peltz

Journal:

Year:

2000

Language:

english

File:

PDF, 349 KB

english, 2000

8

[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Diagnosing root causes of system level performance violations

Liu, Lingyi, Zhong, Xuanyu, Chen, Xiaotao, Vasudevan, Shobha

Year:

2013

Language:

english

File:

PDF, 1.32 MB

english, 2013

9

Automated Transient Input Stimuli Generation for Analog Circuits

Ahmadyan, Seyed, Vasudevan, Shobha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 2.40 MB

english, 2015

10

[IEEE 2011 IEEE VLSI Test Symposium (VTS) - Dana Point, CA, USA (2011.05.1-2011.05.5)] 29th VLSI Test Symposium - Coverage closure in SoC verification: Are we chasing a mirage?

Vasudevan, Shobha

Year:

2011

Language:

english

File:

PDF, 520 KB

english, 2011

11

[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Application level hardware tracing for scaling post-silicon debug

Pal, Debjit, Sharma, Abhishek, Ray, Sandip, de Paula, Flavio M., Vasudevan, Shobha

Year:

2018

Language:

english

File:

PDF, 1.41 MB

english, 2018

12

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - PRECIS: Inferring invariants using program path guided clustering

Sagdeo, Parth, Athavale, Viraj, Kowshik, Sumant, Vasudevan, Shobha

Year:

2011

Language:

english

File:

PDF, 344 KB

english, 2011

13

Formal Probabilistic Timing Verification in RTL

Kumar, Jayanand Asok, Vasudevan, Shobha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2013

Language:

english

File:

PDF, 422 KB

english, 2013

14

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

Kumar, Jayanand Asok, Vasudevan, Shobha

Year:

2010

Language:

english

File:

PDF, 364 KB

english, 2010

15

[IEEE 2010 53rd IEEE International Midwest Symposium on Circuits and Systems (MWSCAS) - Seattle, WA, USA (2010.08.1-2010.08.4)] 2010 53rd IEEE International Midwest Symposium on Circuits and Systems - A scalable approach for throughput estimation of timing speculation designs

Athavale, Viraj, Asok Kumar, Jayanand, Vasudevan, Shobha

Year:

2010

Language:

english

File:

PDF, 958 KB

english, 2010

16

[ACM Press the International Conference - San Jose, California (2012.11.05-2012.11.08)] Proceedings of the International Conference on Computer-Aided Design - ICCAD '12 - Word level feature discovery to enhance quality of assertion mining

Liu, Lingyi, Lin, Chen-Hsuan, Vasudevan, Shobha

Year:

2012

Language:

english

File:

PDF, 1.75 MB

english, 2012

17

[IEEE 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID) - Kolkata, India (2016.1.4-2016.1.8)] 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID) - Symptomatic Bug Localization for Functional Debug of Hardware Designs

Pal, Debjit, Vasudevan, Shobha

Year:

2016

Language:

english

File:

PDF, 340 KB

english, 2016

18

Automatic Generation of System Level Assertions from Transaction Level Models

Liu, Lingyi, Vasudevan, Shobha

Journal:

Journal of Electronic Testing

Year:

2013

Language:

english

File:

PDF, 1.34 MB

english, 2013

19

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Goal-oriented stimulus generation for analog circuits

Ahmadyan, Seyed Nematollah, Kumar, Jayanand Asok, Vasudevan, Shobha

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

20

[ACM Press the 23rd ACM international conference - Paris, France (2013.05.02-2013.05.03)] Proceedings of the 23rd ACM international conference on Great lakes symposium on VLSI - GLSVLSI '13 - Scaling RTL property checking using feasible path analysisand decomposition

Liu, Lingyi, Vasudevan, Shobha

Year:

2013

Language:

english

File:

PDF, 1.37 MB

english, 2013

21

A Novel Test Compression Algorithm for Analog Circuits to Decrease Production Costs

Ahmadyan, Seyed Nematollah, Natarajan, Suriyaprakash, Vasudevan, Shobha

Journal:

Integration, the VLSI Journal

Year:

2016

Language:

english

File:

PDF, 2.93 MB

english, 2016

22

Improved verification of hardware designs through antecedent conditioned slicing

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 585 KB

english, 2007

23

Development of Locked Nucleic Acid Antisense Oligonucleotides Targeting Ebola Viral Proteins and Host Factor Niemann-Pick C1

Chery, Jessica, Petri, Andreas, Wagschal, Alexandre, Lim, Sun-Young, Cunningham, James, Vasudevan, Shobha, Kauppinen, Sakari, Näär, Anders M.

Journal:

Nucleic Acid Therapeutics (Formerly Oligonucleotides)

Year:

2018

File:

PDF, 779 KB

2018

24

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Runtime Verification of Nonlinear Analog Circuits Using Incremental Time-Augmented RRT Algorithm

Ahmadyan, Seyed Nematollah, Kumar, Jayanand Asok, Vasudevan, Shobha

Year:

2013

Language:

english

File:

PDF, 597 KB

english, 2013

25

An Exportin-1–dependent microRNA biogenesis pathway during human cell quiescence

Martinez, Ivan, Hayes, Karen E., Barr, Jamie A., Harold, Abby D., Xie, Mingyi, Bukhari, Syed I. A., Vasudevan, Shobha, Steitz, Joan A., DiMaio, Daniel

Journal:

Proceedings of the National Academy of Sciences

Year:

2017

Language:

english

File:

PDF, 3.07 MB

english, 2017

26

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Automatic generation of assertions from system level design using data mining

Liu, Lingyi, Sheridan, David, Athavale, Viraj, Vasudevan, Shobha

Year:

2011

Language:

english

File:

PDF, 318 KB

english, 2011

27

[IEEE 2018 IEEE International Conference on Big Data (Big Data) - Seattle, WA, USA (2018.12.10-2018.12.13)] 2018 IEEE International Conference on Big Data (Big Data) - Automated Generation and Selection of Interpretable Features for Enterprise Security

Duan, Jiayi, Zeng, Ziheng, Oprea, Alina, Vasudevan, Shobha

Year:

2018

Language:

english

File:

PDF, 852 KB

english, 2018

28

Cell cycle control of microRNA-mediated translation regulation

Vasudevan, Shobha, Tong, Yingchun, Steitz, Joan A.

Journal:

Year:

2008

Language:

english

File:

PDF, 335 KB

english, 2008

29

[ACM Press the 2015 Symposium and Bootcamp - Urbana, Illinois (2015.04.21-2015.04.22)] Proceedings of the 2015 Symposium and Bootcamp on the Science of Security - HotSoS '15 - Packer classifier based on PE header information

Jin, Qiao, Duan, Jiayi, Vasudevan, Shobha, Bailey, Michael

Year:

2015

Language:

english

File:

PDF, 241 KB

english, 2015

30

Efficient Statistical Model Checking of Hardware Circuits With Multiple Failure Regions

Kumar, Jayanand Asok, Ahmadyan, Seyed Nematollah, Vasudevan, Shobha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2014

Language:

english

File:

PDF, 8.17 MB

english, 2014

31

Posttranscriptional Upregulation by MicroRNAs

Shobha Vasudevan

Journal:

Wiley Interdisciplinary Reviews: RNA

Year:

2012

Language:

english

File:

PDF, 808 KB

english, 2012

32

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Using automatically generated invariants for regression testing and bug localization

Sagdeo, Parth, Ewalt, Nicholas, Pal, Debjit, Vasudevan, Shobha

Year:

2013

Language:

english

File:

PDF, 351 KB

english, 2013

33

Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL

Liu, Lingyi, Vasudevan, Shobha

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2014

Language:

english

File:

PDF, 886 KB

english, 2014

34

[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Fast Eye Diagram Analysis for High-Speed CMOS Circuits

Ahmadyan, Seyed Nematollah, Gu, Chenjie, Natarajan, Suriyaprakash, Chiprout, Eli, Vasudevan, Shobha

Year:

2015

Language:

english

File:

PDF, 1.16 MB

english, 2015

35

[IEEE 2017 IEEE International Conference on Rebooting Computing (ICRC) - Washington, DC (2017.11.8-2017.11.9)] 2017 IEEE International Conference on Rebooting Computing (ICRC) - Still a Fight to Get It Right: Verification in the Era of Machine Learning

Vasudevan, Shobha

Year:

2017

Language:

english

File:

PDF, 930 KB

english, 2017

36

miRNPs: versatile regulators of gene expression in vertebrate cells1

Steitz, Joan A., Vasudevan, Shobha

Journal:

Biochemical Society Transactions

Year:

2009

Language:

english

File:

PDF, 247 KB

english, 2009

37

[IEEE 2009 22nd International Conference on VLSI Design: concurrently with the 8th International Conference on Embedded Systems - New Delhi, India (2009.01.5-2009.01.9)] 2009 22nd International Conference on VLSI Design - Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL

Viswanath, Vinod, Vasudevan, Shobha, Abraham, Jacob A.

Year:

2009

Language:

english

File:

PDF, 200 KB

english, 2009

38

[IEEE 2006 IEEE International Test Conference - Santa Clara, CA, USA (2006.10.22-2006.10.27)] 2006 IEEE International Test Conference - Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor

Gurumurthy, Sankar, Vasudevan, Shobha, Abraham, Jacob

Year:

2006

Language:

english

File:

PDF, 131 KB

english, 2006

39

[IEEE 2014 27th International Conference on VLSI Design - India (2014.01.5-2014.01.9)] 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems - A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions

Sheridan, David, Liu, Lingyi, Kim, Hyungsul, Vasudevan, Shobha

Year:

2014

Language:

english

File:

PDF, 536 KB

english, 2014

40

m5C modification of mRNA serves a DNA damage code to promote homologous recombination

Chen, Hao, Yang, Haibo, Zhu, Xiaolan, Yadav, Tribhuwan, Ouyang, Jian, Truesdell, Samuel S., Tan, Jun, Wang, Yumin, Duan, Meihan, Wei, Leizhen, Zou, Lee, Levine, Arthur S., Vasudevan, Shobha, Lan, Li

Journal:

Nature Communications

Year:

2020

File:

PDF, 1.92 MB

2020

41

[ACM Press the eighth IEEE/ACM/IFIP international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '12 - Using static analysis for coverage extraction fromemulation/prototyping platforms

Athavale, Viraj, Hertz, Sam, Jetly, Darshan, Ganesan, Vijay, Krysl, Jim, Vasudevan, Shobha

Year:

2012

Language:

english

File:

PDF, 797 KB

english, 2012

42

Posttranscriptional activation of gene expression in Xenopus laevis oocytes by microRNA—protein complexes (microRNPs)

Richard D. Mortensen, Maria Serra, Joan A. Steitz and Shobha Vasudevan

Journal:

Proceedings of the National Academy of Sciences

Year:

2011

Language:

english

File:

PDF, 1.84 MB

english, 2011

43

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - GoldMine: Automatic assertion generation using data mining and static analysis

Vasudevan, Shobha, Sheridan, David, Patel, Sanjay, Tcheng, David, Tuohy, Bill, Johnson, Daniel

Year:

2010

Language:

english

File:

PDF, 136 KB

english, 2010

44

FXR1a-associated microRNP: a driver of specialized non-canonical translation in quiescent conditions

Bukhari, Syed I.A., Vasudevan, Shobha

Journal:

Year:

2016

Language:

english

File:

PDF, 533 KB

english, 2016

45

MP60-12 FOLLICULIN TUMOR SUPPRESSOR BINDS TO TRANSLATION INITIATION FACTORS EIF2G & EIF5B AND SUPPRESSES PROTEIN SYNTHESIS

Schneider, Meike, Hagar, Taha, Dinkelborg, Katja, Bukhari, Syed I.A., Haferkamp, Axel, Vasudevan, Shobha, Iliopoulos, Othon

Journal:

The Journal of Urology

Year:

2017

Language:

english

File:

PDF, 392 KB

english, 2017

46

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - Application Level Hardware Tracing for Scaling Post-Silicon Debug

Pal, Debjit, Sharma, Abhishek, Ray, Sandip, de Paula, Flavio M., Vasudevan, Shobha

Year:

2018

Language:

english

File:

PDF, 2.84 MB

english, 2018

47

[ACM Press the 24th Asia and South Pacific Design Automation Conference - Tokyo, Japan (2019.01.21-2019.01.24)] Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19 - A figure of merit for assertions in verification

Hertz, Samuel, Pal, Debjit, Offenberger, Spencer, Vasudevan, Shobha

Year:

2019

File:

PDF, 4.28 MB

2019

48

Efficient Model Checking of Hardware Using Conditioned Slicing

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

49

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Verifying dynamic power management schemes using statistical model checking

Kumar, Jayanand Asok, Vasudevan, Shobha

Year:

2012

Language:

english

File:

PDF, 272 KB

english, 2012

50

[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Early prediction of NBTI effects using RTL source code analysis

Kumar, Jayanand Asok, Butler, Kenneth M., Kim, Heesoo, Vasudevan, Shobha

Year:

2012

Language:

english

File:

PDF, 783 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски